The computational genomics community has come increasingly to rely on the methodology of creating annotations of scientific literature using terms from controlled structured vocabularies such as the Gene Ontology (GO). We here address the question of what such annotations signify and of how they are created by working biologists. Our goal is to promote a better understanding of how the results of experiments are captured in annotations in the hope that this will lead to better representations of biological reality through (...) both the annotation process and ontology development, and in more informed use of the GO resources by experimental scientists. (shrink)

The Neurological Disease Ontology (ND) is being developed to provide a comprehensive framework for the representation of neurological diseases (Diehl et al., 2013). ND utilizes the model established by the Ontology for General Medical Science (OGMS) for the representation of entities in medicine and disease (Scheuermann et al., 2009). The goal of ND is to include information for each disease concerning its molecular, genetic, and environmental origins, the processes involved in its etiology and realization, as well as its clinical presentation (...) including signs and symptoms. (shrink)

REMARKS ON EVOLUTION AND TIME-SCALES, Graham Cairns-Smith; HODGSON'S BLACK BOX, Thomas Clark; DO HODGSON'S PROPOSITIONS UNIQUELY CHARACTERIZE FREE WILL?, Ravi Gomatam; WHAT SHOULD WE RETAIN FROM A PLAIN PERSON'S CONCEPT OF FREE WILL?, Gilberto Gomes; ISOLATING DISPARATE CHALLENGES TO HODGSON'S ACCOUNT OF FREE WILL, Liberty Jaswal; FREE AGENCY AND LAWS OF NATURE, Robert Kane; SCIENCE VERSUS REALIZATION OF VALUE, NOT DETERMINISM VERSUS CHOICE, Nicholas Maxwell; COMMENTS ON HODGSON, J.J.C. Smart; THE VIEW FROM WITHIN, Sean Spence; COMMENTARY ON HODGSON, Henry (...) Stapp. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

(Report assembled for the Workshop of the AMIA Working Group on Formal Biomedical Knowledge Representation in connection with AMIA Symposium, Washington DC, 2005.) Best practices in ontology building for biomedicine have been frequently discussed in recent years. However there is a range of seemingly disparate views represented by experts in the field. These views not only reflect the different uses to which ontologies are put, but also the experiences and disciplinary background of these experts themselves. We asked six questions related (...) to biomedical ontologies to what we believe is a representative sample of ontologists in the biomedical field and came to a number conclusions which we believe can help provide an insight into the practical problems which ontology builders face today. (shrink)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Three-dimensionalists , sometimes referred to as endurantists, think that objects persist through time by being “wholly present” at every time they exist. But what is it for something to be wholly present at a time? It is surprisingly difficult to say. The threedimensionalist is free, of course, to take ‘is wholly present at’ as one of her theory’s primitives, but this is problematic for at least one reason: some philosophers claim not to understand her primitive. Clearly the three-dimensionalist would be (...) better off if she could state her theory in terms accessible to all. We think she can. What is needed is a definition of ‘is wholly present at’ that all can understand. in this paper, we offer one. (shrink)

It has been argued that Plato sought to make his rulers invulnerable to any kind of wrongdoing. In this paper we argue that this (humanly impossible) claim misunderstand the ways in which Plato shapes his state precisely in order to make the rulers safe from what could corrupt them.

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

Despite a large and multifaceted effort to understand the vast landscape of phenotypic data, their current form inhibits productive data analysis. The lack of a community-wide, consensus-based, human- and machine-interpretable language for describing phenotypes and their genomic and environmental contexts is perhaps the most pressing scientific bottleneck to integration across many key fields in biology, including genomics, systems biology, development, medicine, evolution, ecology, and systematics. Here we survey the current phenomics landscape, including data resources and handling, and the progress that (...) has been made to accurately capture relevant data descriptions for phenotypes. We present an example of the kind of integration across domains that computable phenotypes would enable, and we call upon the broader biology community, publishers, and relevant funding agencies to support efforts to surmount today's data barriers and facilitate analytical reproducibility. (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic (...) result. (shrink)

We are developing the Neurological Disease Ontology (ND) to provide a framework to enable representation of aspects of neurological diseases that are relevant to their treatment and study. ND is a representational tool that addresses the need for unambiguous annotation, storage, and retrieval of data associated with the treatment and study of neurological diseases. ND is being developed in compliance with the Open Biomedical Ontology Foundry principles and builds upon the paradigm established by the Ontology for General Medical Science (OGMS) (...) for the representation of entities in the domain of disease and medical practice. Initial applications of ND will include the annotation and analysis of large data sets and patient records for Alzheimer’s disease, multiple sclerosis, and stroke. (shrink)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

This article is part of a For-Discussion-Section of Methods of Information in Medicine about the paper "Biomedical Informatics: We Are What We Publish", written by Peter L. Elkin, Steven H. Brown, and Graham Wright. It is introduced by an editorial. This article contains the combined commentaries invited to independently comment on the Elkin et al. paper. In subsequent issues the discussion can continue through letters to the editor.

One of the most intriguing claims in Sven Rosenkranz’s Justification as Ignorance is that Timothy Williamson’s celebrated anti-luminosity argument can be resisted when it comes to the condition ~K~KP—the condition that one is in no position to know that one is in no position to know P. In this paper, I critically assess this claim.

This paper provides a method for characterizing space events using the framework of conceptual spaces. We focus specifically on estimating and ranking the likelihood of collisions between space objects. The objective is to design an approach for anticipatory decision support for space operators who can take preventive actions on the basis of assessments of relative risk. To make this possible our approach draws on the fusion of both hard and soft data within a single decision support framework. Contextual data is (...) also taken into account, for example data about space weather effects, by drawing on the Space Domain Ontologies, a large system of ontologies designed to support all aspects of space situational awareness. The framework is coupled with a mathematical programming scheme that frames a mathematically optimal approach for decision support, providing a quantitative basis for ranking potential for collision across multiple satellite pairs. The goal is to provide the broadest possible information foundation for critical assessments of collision likelihood. (shrink)

This paper describes an AFOSR-supported basic research program that focuses on developing a new framework for combining hard with soft data in order to improve space situational awareness. The goal is to provide, in an automatic and near real-time fashion, a ranking of possible threats to blue assets (assets trying to be protected) from red assets (assets with hostile intentions). The approach is based on Conceptual Spaces models, which combine features from traditional associative and symbolic cognitive models. While Conceptual Spaces (...) are revolutionary, they lack an underlying mathematical framework. Several such frameworks have attempted to represent Conceptual Spaces, but by far the most robust is the model developed by Holender. His model utilizes integer linear programming in order to obtain an overall similarity value between observations and concepts that support the formation of hypotheses. This paper will describe a method for building Conceptual Spaces models for threats that utilizes ontologies as a means to provide a clear semantic foundation for this inferencing process; in particular threat ontologies and space domain ontologies are developed and employed in this approach. A space situational awareness use-case is presented involving a kinetic kill scenario and results are shown to assess the performance of this fusion-based inferencing framework. (shrink)

The overall goal of the approach developed in this paper is to estimate the likelihood of a given kinetic kill scenario between hostile spacebased adversaries using the mathematical framework of Complex Conceptual Spaces Single Observation. Conceptual spaces are a cognitive model that provide a method for systematically and automatically mimicking human decision making. For accurate decisions to be made, the fusion of both hard and soft data into a single decision framework is required. This presents several challenges to this data (...) fusion framework. The first is the challenge involved in handling multiple complex terminologies, which is addressed by drawing on a set of Space Domain Ontologies. Another challenge is the complex combinatorics involved when considering all possible feature combinations. This can be mitigated by using integer linear programming optimization that is outlined by the Complex Conceptual Spaces Single Observation mathematical model framework. A third challenge is the complicated physics that is involved in a spacecraft collision that must be addressed to obtain a better understanding of threat assessment. Overcoming these various challenges allows for a quantitative ranking for the potential of a kinetic kill collision across multiple spacecraft pairs. In addition to overcoming these challenges this paper will break down threat assessment into four domains and identify a ranking of threat both for each individual domain and for the four domains combined. Simulation results are shown to verify the developed concepts. (shrink)

Host-microbiome interactions (HMIs) are critical for the modulation of biological processes and are associated with several diseases, and extensive HMI studies have generated large amounts of data. We propose that the logical representation of the knowledge derived from these data and the standardized representation of experimental variables and processes can foster integration of data and reproducibility of experiments and thereby further HMI knowledge discovery. A community-based Ontology of Host-Microbiome Interactions (OHMI) was developed following the OBO Foundry principles. OHMI leverages established (...) ontologies to create logically structured representations of microbiomes, microbial taxonomy, host species, host anatomical entities, and HMIs under different conditions and associated study protocols and types of data analysis and experimental results. (shrink)

It will be the thesis of this paper that there are among our mental acts some which fall into the category of real material relations. That is: some acts are necessarily such as to involve a plurality of objects as their relata or fundamenta. Suppose Bruno walks into his study and sees a cat. To describe the seeing, here, as a relation, is to affirm that it serves somehow to tie Bruno to the cat. Bruno's act of seeing, unlike his (...) feeling depressed, his putative thinking-about-Santa-Claus or his musing, abstractedly, about the tallest spy, has at least two fundamenta: it is, as a matter of necessity, dependent for its existence upon both Bruno himself and the cat that he sees. This idea will naturally raise echoes of Russell's doctrine of knowledge by acquaintance. 'I am acquainted with an object', Russell tells us, 'when I have a direct cognitive relation to that object, i. e. when I am directly aware of the object itself' (1918, p. 209). And indeed a distinction in many ways like that between acquaintance and description will find a place within the theory here projected, but there are crucial differences. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

We take as our starting point a thesis to the effect that, at least for true judgments of many varieties, there are parts of reality which make such judgments are true. We argue that two distinct components are involved in this truthmaker relation. On the one hand is the relation of necessitation, which holds between an object x and a judgment p when the existence of x entails the truth of p. On the other hand is the dual notion of (...) projection, which holds between a judgment p and an object x when the truth of p entails the existence of x. A truthmaker for a judgment p is then a necessitator for p which satisfies the further constraint that it is part of p’s projection. We offer a formal theory of the truthmaker relation thus defined, exploiting ontological tools of basic mereology and the theory of dependence. We then apply the theory to a range of problems connected with generic expressions, ellipsis, vagueness, and indexical and perceptual judgments. (shrink)

In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...) Von Ehrenfels, Kurt Grelling and Paul Oppenheim and contributions by K. Mulligan, P.M. Simons and Barry Smith. (shrink)

When national borders in the modern sense first began to be established in early modern Europe, non-contiguous and perforated nations were a commonplace. According to the conception of the shapes of nations that is currently preferred, however, nations must conform to the topological model of circularity; their borders must guarantee contiguity and simple connectedness, and such borders must as far as possible conform to existing topographical features on the ground. The striving to conform to this model can be seen at (...) work today in Quebec and in Ireland, it underpins much of the rhetoric of the P.L.O., and was certainly to some degree involved as a motivating factor in much of the ethnic cleansing which took place in Bosnia in recent times. The question to be addressed in what follows is: to what extent could inter-group disputes be more peacefully resolved, and ethnic cleansing avoided, if political leaders, diplomats and others involved in the resolution of such disputes could be brought to accept weaker geometrical constraints on the shapes of nations? A number of associated questions then present themselves: What sorts of administrative and logistical problems have been encountered by existing non contiguous nations and by perforated nations, and by other nations deviating in different ways from the received geometrical ideal? To what degree is the desire for continuity and simple connectedness a rational desire, and to what degree does it rest on species of political rhetoric which might be countered by, for example, philosophical argument? These and a series of related questions will form the subject- matter of the present essay. (shrink)

According to the Weak Supplementation Principle (WSP)—a widely received principle of mereology—an object with a proper part, p , has another distinct proper part that doesn't overlap p . In a recent article in this journal, Nikk Effingham and Jon Robson employ WSP in an objection to endurantism. I defend endurantism in a way that bears on mereology in general. First, I argue that denying WSP can be motivated apart from the truth of endurantism. I then go on to offer (...) an explanation of WSP's initial appeal, argue that denying WSP fails to have untoward consequences for the rest of mereology, and show that the falsity of WSP is consistent with a primary guiding thought behind it. (shrink)

In ‘The normative role of knowledge’ (2012), Declan Smithies defends a ‘JK-rule’ for belief: One has justification to believe that P iff one has justification to believe that one is in a position to know that P. Similar claims have been defended by others (Huemer, 2007, Reynolds, forthcoming). In this paper, I shall argue that the JK-rule is false. The standard and familiar way of arguing against putative rules for belief or assertion is, of course, to describe putative counterexamples. My (...) argument, though, won’t be like this – indeed I doubt that there are any intuitively compelling counterexamples to the JK-rule. Nevertheless, the claim that there are counterexamples to the JK-rule can, I think, be given something approaching a formal proof. My primary aim here is to sketch this proof. I will briefly consider some broader implications for how we ought to think about the epistemic standards governing belief and assertion. (shrink)

PURPOSE—A substantial fraction of the observations made by clinicians and entered into patient records are expressed by means of negation or by using terms which contain negative qualifiers (as in “absence of pulse” or “surgical procedure not performed”). This seems at first sight to present problems for ontologies, terminologies and data repositories that adhere to a realist view and thus reject any reference to putative non-existing entities. Basic Formal Ontology (BFO) and Referent Tracking (RT) are examples of such paradigms. The (...) purpose of the research here described was to test a proposal to capture negative findings in electronic health record systems based on BFO and RT. METHODS—We analysed a series of negative findings encountered in 748 sentences taken from 41 patient charts. We classified the phenomena described in terms of the various top-level categories and relations defined in BFO, taking into account the role of negation in the corresponding descriptions. We also studied terms from SNOMED-CT containing one or other form of negation. We then explored ways to represent the described phenomena by means of the types of representational units available to realist ontologies such as BFO. RESULTS—We introduced a new family of ‘lacks’ relations into the OBO Relation Ontology. The relation lacks_part, for example, defined in terms of the positive relation part_of, holds between a particular p and a universal U when p has no instance of U as part. Since p and U both exist, assertions involving ‘lacks_part’ and its cognates meet the requirements of positivity. CONCLUSION—By expanding the OBO Relation Ontology, we were able to accommodate nearly all occurrences of negative findings in the sample studied. (shrink)

Analytic philosophers have until recently been reluctant to pursue historical investigations into the Central European roots of their own philosophical tradition. The most recent book by Michael Dummett, however, entitled Origins of Analytic Philosophy, shows how fruitful such investigations can be, not only as a means of coming to see familiar philosophical problems in a new light, but also as a means of clarifying what, precisely, ‘analytic philosophy’ might mean. As Dummett points out, the newly fashionable habit of referring to (...) analytic philosophy as ‘Anglo-American’ leads to a ‘grave historical distortion’. If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy ‘could at least as well be called "Anglo-Austrian"’ (p. 7). We here show the implications of this assertion for a more adequate understanding of the relations between analytic and Continental philosophy. (shrink)

First, the book does not have an original thesis. The thesisthe author wants to argue is that Smith is different from his current caricature, a legacy of his nineteenth-century image, according to which he would argue that: i) man is a maximizer of utility; ii) man is ordinarily moved by a narrow selfish interest, or at least is indifferent to the interests of others; iii) human beings are social atoms; iv) a perfectly competitive market is morally a free zone (...) (pp. 4-5). The author recognizes that these interpretations "are being questioned by many scholars". contemporary", however, reiterates his conviction that these interpretations are still prevalent, and cites in this regard the abuse of the name of Smith by the Chicago school (p.6). If the author's aim is to challenge a caricature, still common among non-experts but no longer shared by Smith's scholars, one may wonder whether this justifies a new book. Secondly, the author does not demonstrate mastery of the state of the art. She wants to demonstrate the non-existence of Adam Smith Problem, not only without any direct knowledge of German literature but ignoring an important article by Heilbroner from 1981 and a fundamental essay by Dickey from 1986 that explicitly advocate an exhumation of the "Adam Smith problem" in a new form. Thirdly, the author lacks the ability to understand concepts and problems in contextual terms: where she mentions Adam Smith's 'Newtonianism' she does not prove to be familiar with the literature on the subject, citing Lindgren as the only authority and ignoring, among others, Moscovici, Skinner, Hetherington and Freudenthal, but also seems to understand by Newtonianism an equivalent of deterministic and materialistic mechanicism (pp. 48-51). Besides, every time she uses the term utilitarianism he confuses it with the terms hedonism, economicism, selfishness (p. 155). (shrink)

In 1956, a few writings of Wittgenstein that he didn't publish in his lifetime were revealed to the public. These writings were gathered in the book Remarks on the Foundations of Mathematics (1956). There, we can see that Wittgenstein had some discontentment with the way philosophers, logicians, and mathematicians were thinking about paradoxes, and he even registered a few polemic reasons to not accept Gödel’s incompleteness theorems.

Let’s suppose all the rules of physics will change, but, before the change, we finally figured out everything there was to be figured out about physics. This means that we achieved pragmatic completeness at that point. It’s not a universal Platonic completeness, but everything there was to be expressed about the physics at that moment was expressed.

Leopold Kronecker (1823–1891) was a German mathematician who worked on number theory and algebra. He is considered a pre-intuitionist, being only close to intuitionism because he rejected Cantor’s Set Theory. He was, in fact, more radical than the intuitionists. Unlike Poincaré, for example, Kronecker didn’t accept the transfinite numbers as valid mathematical entities.

Frege discussed Mill’s empiricist ideas and Kant’s rationalist ideas about the nature of mathematics, and employed Set Theory and logico-philosophical notions to develop a new concept for the natural numbers. All this is objectively exposed by this paper.

It is undeniable Poincaré was a very famous and influential scientist. So, possibly because of it, it was relatively easy for him to participate in the heated discussions of the foundations of mathematics in the early 20th century. We can say it was “easy” because he didn't get involved in this subject by writing great treatises, or entire books about his own philosophy of mathematics (as other authors from the same period did). Poincaré contributed to the philosophy of mathematics by (...) writing short essays and letters. (shrink)

Husserl came over to philosophy from mathematics and he devoted many years to the formulation of a firm foundation for Philosophy that could even secure the status of "science" for it. But unlike some of his contemporaries (like Frege and Russell), he did not seek salvation for philosophy in the mathematical method. He argued philosophy (like any other field of study) should pay attention to uninterpreted basic experience and this would lead the way to understanding the essence of things. Essence, (...) then, would become conscious and this process was addressed by him as “phenomenological reduction.”. (shrink)

This paper objectively defines the three main contemporary philosophies of mathematics: formalism, logicism, and intuitionism. Being the three leading scientists of each: Hilbert (formalist), Frege (logicist), and Poincaré (intuitionist).

Kant and Descartes followed an extreme clever, secure way of reasoning. For them, there must be a world of differences, or of movement, before we can extract anything (ideas, laws, concepts, etc.) from the world. For Kant, these “changes” that secure the possibility of knowledge were the ones we can measure with the categories of space and time. While, for Descartes, since there exist two things: “me” and “the world”, we can say knowledge is possible. But I think we can (...) extract a more abstract, general principle from the similarities between both Descartes and Kant’s mobilist tendency. (shrink)

As a contribution to a wider discussion on moral discernment in theological anthropology, this paper seeks to answer the question “What is the impact of mental illness on an individual’s ability to make moral decisions?” Written from a clinical psychiatric perspective, it considers recent contributions from psychology, neuropsychology and imaging technology. It notes that the popular conception that mental illness necessarily robs an individual of moral responsibility is largely unfounded. Most people who suffer from mental health problems do not lose (...) the capacity to make moral decisions, and mental illness on its own rarely explains anti-social or criminal behaviour. Moreover, the assumptions of some scientists, that recent developments in neuropsychology and brain imaging suggest biological determinism, must be treated with caution. (shrink)

This is a contribution to a Book symposium on The Limits of Free Will: Selected Essays by Paul Russell. Russell provides replies to three critics of The Limits of Free Will. The first reply is to Robert Wallace and focuses on the question of whether there is a conflict between the core compatibilist and pessimist components of the "critical compatibilist" position that Russell has advanced. The second reply is to Angela Smith's discussion of the "narrow" interpretation of moral responsibility (...) responsibility (as defended by R. Jay Wallace) and how best to respond to it. The third and last reply is concerned with Christopher Bennett's criticism of Russell's views concerning "motivational scepticism" and the possibility of pure practical reasons. (shrink)

On the first page of 1984, Winston Smith is confronted with several posters featuring the face of Big Brother and the famous sentence, “BIG BROTHER IS WATCHING YOU.” This may not seem like a promising way to seduce someone, but the seduction of Winston Smith by Big Brother in 1984 is a most unusual love story. I call it a seduction because Winston’s mind and heart are slowly won over in the aptly-named Ministry of Love. Moreover, in the (...) final scene of the novel, Winston gazes, with tears in his eyes, up at Big Brother on the telescreen. The last sentence of the book states, simply, “He loved Big Brother.” How does Big Brother seduce Winston Smith? He certainly does not employ stereotypical methods. Big Brother is not particularly sexy, and his incessant angry shouting does not seem calculated to foster adoration. On top of that, Winston never meets Big Brother in person. His only access is through media: posters, stories, and the telescreen. We all know that it’s hard to maintain a long-distance relationship. Long-distance seduction is even more challenging. So how does Big Brother manage it? To answer this question, I use the theory of seduction first articulated by the philosopher John Forrester (1990, p. 42), who argues that “the first step in a seductive maneuver could be summed up as, ‘I know what you’re thinking.’”. (shrink)

When are morally good actions beautiful, when indeed they are? In this paper, it is argued that morally good actions are beautiful when they appear to express the deep or true self, and in turn tend to give rise to an emotion which is characterised by feelings of being moved, unity, inspiration, and meaningfulness, inter alia. In advancing the case for this claim, it is revealed that there are additional sources of well-formedness in play in the context of moral beauty (...) in addition to those that have tended to be focused on to date: one which is connected to imagining a deep location for the goodness concerned, and another which is connected to imagining that the goodness stems from capacities which are essential to the person. (shrink)

According to the most important objection to the existence of moral beauty, true judgements of moral beauty are not possible as moral judgements require being motivated to act in line with the moral judgement made, and judgements of beauty require not being motivated to act in any way. Here, I clarify the argument underlying the objection, and show that it does not show that moral beauty does not exist. I present two responses: namely, that the beauty of moral beauty does (...) not lie in the moral goodness per se (the “adjacent properties” response); and that only a dispositional motivation to act is required for the moral judgements that are typically made as part of judgements of moral beauty, whereas aesthetic judgements only rule out state motivations to act (the “equivocation of motivation required” response). In addressing the objection, I show how moral beauty is consistent with disinterestedness, and so should be accepted more widely; and also clarify where the beauty in moral beauty resides, and how the moral-aesthetic distinction should be drawn. (shrink)

What is the nature of the concept BEAUTY? Does it differ fundamentally from nearby concepts such as PRETTINESS? It is argued that BEAUTY, but not PRETTINESS, is a dual-character concept. Across a number of contexts, it is proposed that BEAUTY has a descriptive sense that is characterised by, inter alia, having intrinsically pleasing appearances; and a normative sense associated with deeply-held values. This account is supported across two, pre-registered, studies (N=500), and by drawing on analysis of corpus data. It is (...) suggested that this can help to explain why beauty, unlike prettiness, is thought to be deep in both the sense of being important, and in the sense of being less closely tied to sensory surfaces. (shrink)

According to the cognitive model of psychopathology, maladaptive beliefs about oneself, others, and the world are the main factors contributing to the development and persistence of various forms of mental suffering. Therefore, the key therapeutic process of Cognitive Behavioral Therapy (CBT)—a therapeutic approach rooted in the cognitive model—is cognitive restructuring, i.e., a process of revision of such maladaptive beliefs. In this paper, I examine the philosophical assumptions underlying CBT and offer theoretical reasons to think that the effectiveness of belief revision (...) in psychotherapy is very limited. This is the case, I argue, because the cognitive model wrongly assumes that our body of beliefs is unified, while it is in fact fragmented. (shrink)

Why are moral actions beautiful, when indeed they are? This paper assesses the view, found most notably in Schiller, that moral actions are beautiful just when they present the appearance of freedom by appearing to be the result of internal harmony (the Schillerian Internal Harmony Thesis). I argue that while this thesis can accommodate some of the beauty involved in contrasts of the ‘continent’ and the ‘fully’ virtuous, it cannot account for all of the beauty in such contrasts, and so (...) needs to be weakened considerably (to the Internal Harmony Thesis). To account for the remaining beauty that cannot be fully accommodated even by this revised thesis, as well as the beauty contained in contrasts that involve agents who experience internal conflict as a result of being sensitive to different sources of moral value to an appropriate extent, a number of further theses need to be posited: namely, that the beauty of some moral actions is to be accommodated in terms of internal disharmony (the Internal Disharmony Thesis), and in terms of a felt harmony between the appreciator of the action and the executor of the action (the Affective Harmony Thesis). As such, in contrast to Schiller, I suggest that we need to take a pluralist and context-sensitive approach to accommodating the beauty of moral actions. (shrink)

Conversational Artificial Intelligence (CAI) systems (also known as AI “chatbots”) are among the most promising examples of the use of technology in mental health care. With already millions of users worldwide, CAI is likely to change the landscape of psychological help. Most researchers agree that existing CAIs are not “digital therapists” and using them is not a substitute for psychotherapy delivered by a human. But if they are not therapists, what are they, and what role can they play in mental (...) health care? To answer these questions, we appeal to two well-established and widely discussed concepts: cognitive and affective artifacts. Cognitive artifacts are artificial devices contributing functionally to the performance of a cognitive task. Affective artifacts are objects which have the capacity to alter subjects’ affective state. We argue that therapeutic CAIs are a kind of cognitive-affective artifacts which contribute to positive therapeutic change by (i) simulating a (quasi-)therapeutic interaction, (ii) supporting the performance of cognitive tasks, and (iii) altering the affective condition of their users. This sheds new light on why virtually all existing mental health CAIs implement principles and techniques of Cognitive Behavioral Therapy — a therapeutic orientation according to which affective change and, ultimately, positive therapeutic change is mediated by cognitive change. Simultaneously, it allows us to conceptualize better the potential and limitations of applying these technologies in therapy. (shrink)

Composite materialism, as I will understand it, is the view that human persons are composite material objects. This paper develops and investigates an argument, The Vague Singulars Argument, for the falsity of composite materialism. We shall see that cogent or not, the Vague Singulars Argument has philosophically significant ramifications.